This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of (...) subvarieties (Q 3 ) of the variety Q 3. (shrink)

Background Health care professionals have to judge the appropriateness of treatment in critical care on a daily basis. There is general consensus that critical care interventions should not be performed when they are inappropriate. It is not yet clear which chances of survival are considered necessary or which risk for serious disabilities is acceptable in quantitative terms for different stakeholders to start intensive care treatment. Methods We performed an anonymous online survey in a random sample of 1,052 participants recruited via (...) email invitation and social media. Age, sex, nationality, education, professional involvement in health care, critical care medicine and treatment decisions in critical care medicine as well as personal experience with critical illness were assessed as potential influencing variables. Participants provided their opinion on the necessary chances of survival and the acceptable risk for serious disabilities to start a high-risk or uncomfortable therapy for themselves, relatives or for their patients on a scale of 0–100%. Results Answers ranged from 0 to 100% for all questions. A three-peak pattern with different distributions of the peaks was observed. Sex, education, being a health care professional, being involved in treatment decisions and religiosity influence these opinions. Male respondents and those with a university education would agree that a risky and uncomfortable treatment should be started even with a low chance of survival for themselves, relatives and patients. More respondents would choose a lower necessary chance of survival when deciding for patients compared to themselves or relatives to start a risky and uncomfortable treatment. On the other hand, the majority of respondents would accept only a low risk of severe disability for both themselves and their patients. Conclusion No cut-off can be identified for the necessary chances of survival or the acceptable risk of disability to help quantify the “inappropriateness” of critical care treatment. Sex and education are the strongest influencing factors on this opinion. The large variation in personal opinions, depending on demographic and personality variables and education needs to be considered in the communication between health care professionals and patients or surrogates. (shrink)

Background: Pulsed dye laser is the gold standard for treatment of port-wine stain birthmarks but multiple treatments are required and complete resolution is often not achieved. Posttreatment vessel recurrence is thought to be a factor that limits efficacy of PDL treatment of PWS. Imiquimod 5% cream is an immunomodulator with antiangiogenic effects. Objective: We sought to determine if application of imiquimod 5% cream after PDL improves treatment outcome. Methods: Healthy individuals with PWS were treated with PDL and then randomized to (...) apply posttreatment placebo or imiquimod 5% cream for 8 weeks. Chromameter measurements for 57 PWS sites were taken at baseline and compared with measurements taken 8 weeks posttreatment. The Δa and ΔE were measured to quantify treatment outcome. Results: Two patients developed minor skin irritation. Other adverse effects were not noted. Average a was 0.43 for PDL + placebo sites and 1.27 for PDL + imiquimod sites indicating a greater reduction in erythema with imiquimod. Average E was 2.59 for PDL + placebo and 4.08 for PDL + imiquimod, again indicating a greater color improvement with imiquimod. Limitations: Effects were evaluated after a single treatment and duration of effect is unknown. Conclusion: Combined selective photothermolysis and antiangiogenic therapy may enhance PWS treatment efficacy. © 2011 by the American Academy of Dermatology, Inc. (shrink)

The inverse of the distance between two structures $\mathscr{A} \not\equiv \mathscr{B}$ of finite type $\tau$ is naturally measured by the smallest integer $q$ such that a sentence of quantifier rank $q - 1$ is satisfied by $\mathscr{A}$ but not by $\mathscr{B}$. In this way the space $\operatorname{Str}^\tau$ of structures of type $\tau$ is equipped with a pseudometric. The induced topology coincides with the elementary topology of $\operatorname{Str}^\tau$. Using the rudiments of the theory of uniform spaces, in this elementary note (...) we prove the convergence of every Cauchy net of structures, for any type $\tau$. (shrink)

Soft X‐ray tomography (SXT) is an imaging technique capable of characterizing and quantifying the structural phenotype of cells. In particular, SXT is used to visualize the internal architecture of fully hydrated, intact eukaryotic and prokaryotic cells at high spatial resolution (50 nm or better). Image contrast in SXT is derived from the biochemical composition of the cell, and obtained without the need to use potentially damaging contrast‐enhancing agents, such as heavy metals. The cells are simply cryopreserved prior to imaging, and (...) are therefore imaged in a near‐native state. As a complement to structural imaging by SXT, the same specimen can now be imaged by correlated cryo‐light microscopy. By combining data from these two modalities specific molecules can be localized directly within the framework of a high‐resolution, three‐dimensional reconstruction of the cell. This combination of data types allows sophisticated analyses to be carried out on the impact of environmental and/or genetic factors on cell phenotypes. (shrink)

Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is (...) considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leaking O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute the effects of U-restriction. (shrink)

The inverse of the distance between two structures $\mathscr{A} \not\equiv \mathscr{B}$ of finite type τ is naturally measured by the smallest integer q such that a sentence of quantifier rank q - 1 is satisfied by A but not by B. In this way the space $\operatorname{Str}^\tau$ of structures of type τ is equipped with a pseudometric. The induced topology coincides with the elementary topology of $\operatorname{Str}^\tau$ . Using the rudiments of the theory of uniform spaces, in this elementary (...) note we prove the convergence of every Cauchy net of structures, for any type τ. (shrink)

Background:Promoting patients’ rights is essential for defining the standards of clinical services within a country. Given their responsibilities, nurses can be the primary target for research to investigate the issue of patients’ rights within a healthcare system. As such, assessing the knowledge of nurses about patients’ rights is an essential step toward improving the quality of healthcare in limited resource settings like Sudan.Objectives:We aimed to assess the level of knowledge about patients’ rights among the nursing staff at Friendship Teaching Hospital (...) in Sudan.Methods:This hospital-based cross-sectional study was carried out at the Friendship Teaching Hospital in Sudan. We surveyed the totality of nurses (95) at the hospital using an amended survey. The data were analyzed in SPSS software using descriptive and inferential statistics.Ethical consideration:The study was approved by the Research Unit of Khartoum Ministry of Health and the Hospital administration. All respondents gave verbal consent prior to participating in the study.Results:Only 48.4% of the participants knew about the existence of the Sudanese Charter of patients’ rights. Nonetheless, our analysis found that 65.8% of nurses had acceptable level of knowledge (scored more than 75% of the total knowledge score) of patients’ rights, and none of the participant scored less than 50% of the total knowledge score. Finally, we found no statistical association between the knowledge score and demographic data, educational level, whether the participant knows about the existence of the Charter or not and a number of other factors.Conclusion:Nurses’ lack of knowledge about the existence of the Sudanese Charter of patients’ rights adopted in 2009 rights confirms the need for further efforts by Ministry of Health to promote the document. Furthermore, further research is needed to investigate the disconnect between nurses’ lack of knowledge about the existence of the charter and their awareness of the rights within the charter as well as the actual implementation of rights. (shrink)

Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in the form (...) of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{M}$ are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions. (shrink)

BackgroundThe process of peer-review in academia has attracted criticism surrounding issues of bias, fairness, and professionalism; however, frequency of occurrence of such comments is unknown.MethodsWe evaluated 1491 sets of reviewer comments from the fields of “Ecology and Evolution” and “Behavioural Medicine,” of which 920 were retrieved from the online review repository Publons and 571 were obtained from six early career investigators. Comment sets were coded for the occurrence of “unprofessional comments” and “incomplete, inaccurate or unsubstantiated critiques” using an a-prior rubric (...) based on our published research. Results are presented as absolute numbers and percentages.ResultsOverall, 12% of comment sets included at least one unprofessional comment towards the author or their work, and 41% contained incomplete, inaccurate of unsubstantiated critiques.ConclusionsThe large number of unprofessional comments, and IIUCs observed could heighten psychological distress among investigators, particularly those at an early stage in their career. We suggest that development and adherence to a universally agreed upon reviewer code of conduct is necessary to improve the quality and professional experience of peer review. (shrink)

Adding certain cardinality quantifiers into first-order language will give substantially more expressive languages. Thus, many mathematical concepts beyond first-order logic can be handled. Since basic modal logic can be seen as the bisimular invariant fragment of first-order logic on the level of models, it has no ability to handle modally these mathematical concepts beyond first-order logic. By adding modalities regarding the cardinalities of successor states, we can, in principle, investigate modal logics of all cardinalities. Thus ways of exploring model-theoretic logics (...) can be transferred to modal logics. (shrink)

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference (...) for both the pure logician and the theoretical computer scientist. (shrink)

In their 2007 paper, Swierstra and Rip identify characteristic tropes and patterns of moral argumentation in the debate about the ethics of new and emerging science and technologies (or “NEST-ethics”). Taking their NEST-ethics structure as a starting point, we considered the debate about tissue engineering (TE), and argue what aspects we think ought to be a part of a rich and high-quality debate of TE. The debate surrounding TE seems to be predominantly a debate among experts. When considering the NEST-ethics (...) arguments that deal directly with technology, we can generally conclude that consequentialist arguments are by far the most prominently featured in discussions of TE. In addition, many papers discuss principles, rights and duties relevant to aspects of TE, both in a positive and in a critical sense. Justice arguments are only sporadically made, some “good life” arguments are used, others less so (such as the explicit articulation of perceived limits, or the technology as a technological fix for a social problem). Missing topics in the discussion, at least from the perspective of NEST-ethics, are second “level” arguments—those referring to techno-moral change connected to tissue engineering. Currently, the discussion about tissue engineering mostly focuses on its so-called “hard impacts”—quantifiable risks and benefits of the technology. Its “soft impacts”—effects that cannot easily be quantified, such as changes to experience, habits and perceptions, should receive more attention. (shrink)

In their 2007 paper, Swierstra and Rip identify characteristic tropes and patterns of moral argumentation in the debate about the ethics of new and emerging science and technologies (or “NEST-ethics”). Taking their NEST-ethics structure as a starting point, we considered the debate about tissue engineering (TE), and argue what aspects we think ought to be a part of a rich and high-quality debate of TE. The debate surrounding TE seems to be predominantly a debate among experts. When considering the NEST-ethics (...) arguments that deal directly with technology, we can generally conclude that consequentialist arguments are by far the most prominently featured in discussions of TE. In addition, many papers discuss principles, rights and duties relevant to aspects of TE, both in a positive and in a critical sense. Justice arguments are only sporadically made, some “good life” arguments are used, others less so (such as the explicit articulation of perceived limits, or the technology as a technological fix for a social problem). Missing topics in the discussion, at least from the perspective of NEST-ethics, are second “level” arguments—those referring to techno-moral change connected to tissue engineering. Currently, the discussion about tissue engineering mostly focuses on its so-called “hard impacts”—quantifiable risks and benefits of the technology. Its “soft impacts”—effects that cannot easily be quantified, such as changes to experience, habits and perceptions, should receive more attention. (shrink)

This paper introduces the logic _Q__L__E__T_ _F_, a quantified extension of the logic of evidence and truth _L__E__T_ _F_, together with a corresponding sound and complete first-order non-deterministic valuation semantics. _L__E__T_ _F_ is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (_FDE_) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘_A_ entails that _A_ behaves classically, ∙_A_ follows from _A_’s violating some classically valid inferences. The semantics of _Q__L__E__T_ (...) _F_ combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin’s method. By providing sound and complete semantics for first-order extensions of _FDE_, _K3_, and _LP_, we show how these tools, which we call here the method of _anti-extensions + valuations_, can be naturally applied to a number of non-classical logics. (shrink)

An alternative notion of an existential quantifier on four-valued Łukasiewicz algebras is introduced. The class of four-valued Łukasiewicz algebras endowed with this existential quantifier determines a variety which is denoted by \. It is shown that the alternative existential quantifier is interdefinable with the standard existential quantifier on a four-valued Łukasiewicz algebra. Some connections between the new existential quantifier and the existential quantifiers defined on bounded distributive lattices and Boolean algebras are given. Finally, a completeness (...) theorem for the monadic four-valued Łukasiewicz predicate calculus corresponding to the dual of the alternative existential quantifier is proven. (shrink)

This article discusses the manipulation and measurement of levels of situational self-focus, which is generally labeled ''self-awareness.'' A new scale was developed to quantify levels of public and private self-awareness. Five studies were conducted to assess the psychometric properties, reliability, and validity of the Situational Self-Awareness Scale (SSAS). The SSAS was found to have a reliable factor structure, to detect differences in public and private self-awareness produced by laboratory manipulations, and to be sensitive to changes in self-awareness within individuals over (...) time and across situations. The SSAS can be used as a manipulation check of laboratory self-awareness manipulations and as a means of assessing naturally occurring fluctuations in public and private self-awareness in order to clarify the relation between self-awareness and other variables (e.g., mood and memory). (shrink)

Our recent paper reported that 43% of reviewer comment sets shared with authors contained at least one unprofessional comment or an incomplete, inaccurate of unsubstantiated critique. Publication of this work sparked an online conversation surrounding professionalism in peer review. We collected and analyzed these social media comments as they offered real-time responses to our work and provided insight into the views held by commenters and potential peer-reviewers that would be difficult to quantify using existing empirical tools. Overall, 75% of comments (...) were positive, of which 59% were supportive and 16% shared similar personal experiences. However, a subset of negative comments emerged, that provided potential insight into the reasons underlying unprofessional comments were made during the peer-review process. These comments were classified into three main themes: forced niceness will adversely impact the peer-review process and allow for publication of poor-quality science ; dismissing comments as not offensive to another person because they were not deemed personally offensive to the reader ; and authors brought unprofessional comments upon themselves as they submitted substandard work. Here, we argue against these themes as justifications for directing unprofessional comments towards authors during the peer review process. We argue that it is possible to be both critical and professional, and that no author deserves to be the recipient of demeaning ad hominem attacks regardless of supposed provocation. Suggesting otherwise only serves to propagate a toxic culture within peer review. While we previously postulated that establishing a peer-reviewer code of conduct could help improve the peer-review system, we now posit that priority should be given to repairing the negative cultural zeitgeist that exists in peer-review. (shrink)

Empirical research pertaining to cardiopulmonary resuscitation (CPR), clinician behaviors related to do-not-resuscitate (DNR) orders and substituted judgment suggests potential contributions to medical ethics. Research quantifying the likelihood of surviving CPR points to the need for further philosophical analysis of the limitations of the patient autonomy in decision making, the nature and definition of medical futility, and the relationship between futility and professional standards. Research on DNR orders has identified barriers to the goal of patient involvement in these life and death (...) discussions. The initial data on surrogate decision making also points to the need for a reexamination of the moral basis for substituted judgment, the moral authority of proxy decision making and the second-order status of the best interests standard. These examples of empirical research suggest that an interplay between empirical research, ethical analysis and policy development may represent a new form of interdisciplinary scholarship to improve clinical medicine. (shrink)

Information is a peculiar quantity. Unlike matter and energy, which are conserved by the laws of physics, the aggregation of knowledge from many sources can in fact produce more information (synergy) or less (redundancy) than the sum of its parts. This feature can endow groups with problem‐solving strategies that are superior to those possible among noninteracting individuals and, in turn, may provide a selection drive toward collective cooperation and coordination. Here we explore the formal properties of information aggregation as a (...) general principle for explaining features of social organization. We quantify information in terms of the general formalism of information theory, which also prescribes the rules of how different pieces of evidence inform the solution of a given problem. We then show how several canonical examples of collective cognition and coordination can be understood through principles of minimization of uncertainty (maximization of predictability) under information pooling over many individuals. We discuss in some detail how collective coordination in swarms, markets, natural language processing, and collaborative filtering may be guided by the optimal aggregation of information in social collectives. We also identify circumstances when these processes fail, leading, for example, to inefficient markets. The contrast to approaches to understand coordination and collaboration via decision and game theory is also briefly discussed. (shrink)

To function well in an unpredictable environment using unreliable components, a system must have a high degree of robustness. Robustness is fundamental to biological systems and is an objective in the design of engineered systems such as airplane engines and buildings. Cognitive systems, like biological and engineered systems, exist within variable environments. This raises the question, how do cognitive systems achieve similarly high degrees of robustness? The aim of this study was to identify a set of mechanisms that enhance robustness (...) in cognitive systems. We identify three mechanisms that enhance robustness in biological and engineered systems: system control, redundancy, and adaptability. After surveying the psychological literature for evidence of these mechanisms, we provide simulations illustrating how each contributes to robust cognition in a different psychological domain: psychomotor vigilance, semantic memory, and strategy selection. These simulations highlight features of a mathematical approach for quantifying robustness, and they provide concrete examples of mechanisms for robust cognition. (shrink)

A collection of 24 out of the 35 papers presented at the Fourth Scandinavian Logic Symposium and First Soviet-Finnish Logic Conference, which took place simultaneously in Finland in 1976. Topics covered are proof theory, set theory, model theory, recursion theory, infinitary languages, generalized quantifiers, truthlikeness, natural language, and "philosophical logic." There is a paper by George Kreisel which discusses an intriguing distinction between the theory of proofs and general proof theory, the latter being the study of the allegedly definitional or (...) essential property of proofs, the former being the study of structural features such as length of proofs and of relations between proofs and other things. There is a paper by Hintikka in which he applies his "game-theoretical semantics" developed elsewhere to quantifiers in natural languages, e.g., the analysis of sentences like "some novel by every novelist is mentioned by every critic". I found the most interesting paper to be the one by Bengt Hansson, which studies the nature of paradoxes by articulating an analogy with mathematical equations, the crucial property about the latter being that they do not always have solutions. Almost all papers are highly technical and thus aimed at experts of the specialties mentioned in the book’s title.—M.A.F. (shrink)

Over the last 20 years, sex offender policies, specifically in terms of community corrections, have increased in scope. One of the most controversial and pervasive sex offender policies is that of registration. In response to the consumption of already limited resources, jurisdictions have imposed increasingly higher community supervision fees onto the offenders, requiring them to pay for their own re-entry. However, to date no research study has examined the statutory language associated with registration fees collected post release from formal community (...) sanctions. Using a statutory analysis within the United States, this research finds and quantifies the imposition of a registration fee on offenders who are legally compelled to pay these registration costs, regardless of whether they are still currently under community supervision. Results show that more than half of U.S. states (n = 28) incorporate statutory language authorizing registration fees, ranging anywhere from $5 per registration to up to $250 per year. These findings, as well as suggestions for future research and policy recommendations, are discussed. (shrink)

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

Transcranial magnetic stimulation studies have demonstrated increased cortical facilitation and reduced inhibition following aerobic exercise, even when examining motor regions separate to the exercised muscle group. These changes in brain physiology following exercise may create favorable conditions for adaptive plasticity and motor learning. One candidate mechanism behind these benefits is the increase in brain-derived neurotropic factor observed following exercise, which can be quantified from a venous blood draw. The aim of this study was to investigate changes in motor cortex excitability (...) and inhibition of the upper limb, and circulating BDNF, following high-intensity interval training on a stationary bicycle. Nineteen sedentary adults participated in a randomized crossover design study involving a single bout of high-intensity interval cycling for 20 min or seated rest. Venous blood samples were collected, and transcranial magnetic stimulation was used to stimulate the extensor carpi radialis, where motor evoked potentials were recorded pre- and post-condition. Following exercise, there was a significant increase in corticospinal excitability measured at 120% of resting motor threshold and a reduction in short-interval cortical inhibition. There was a non-significant 23.6% increase in BDNF levels. Collectively, these results reflect a net reduction in gamma aminobutyric acid ergic synaptic transmission and increased glutamatergic facilitation, resulting in increased corticospinal excitability. This study supports the notion that acute high-intensity exercise provides a potent stimulus for inducing cortical neuroplasticity, which may support enhanced motor learning. (shrink)

Current textbooks in formal semantics are all versions of, or introductions to, the same paradigm in semantic theory: Montague Grammar. Knowledge of Meaning is based on different assumptions and a different history. It provides the only introduction to truth- theoretic semantics for natural languages, fully integrating semantic theory into the modern Chomskyan program in linguistic theory and connecting linguistic semantics to research elsewhere in cognitive psychology and philosophy. As such, it better fits into a modern graduate or undergraduate program in (...) linguistics, cognitive science, or philosophy. Furthermore, since the technical tools it employs are much simpler to teach and to master, Knowledge of Meaning can be taught by someone who is not primarily a semanticist. Linguistic semantics cannot be studied as a stand-alone subject but only as part of cognitive psychology, the authors assert. It is the study of a particular human cognitive competence governing the meanings of words and phrases. Larson and Segal argue that speakers have unconscious knowledge of the semantic rules of their language, and they present concrete, empirically motivated proposals about a formal theory of this competence based on the work of Alfred Tarski and Donald Davidson. The theory is extended to a wide range of constructions occurring in natural language, including predicates, proper nouns, pronouns and demonstratives, quantifiers, definite descriptions, anaphoric expressions, clausal complements, and adverbs. Knowledge of Meaning gives equal weight to philosophical, empirical, and formal discussions. It addresses not only the empirical issues of linguistic semantics but also its fundamental conceptual questions, including the relation of truth to meaning and the methodology of semantic theorizing. Numerous exercises are included in the book. (shrink)

Clinical responses to dopamine replacement therapy for individuals with Parkinson’s disease are often difficult to predict. We characterized changes in MDS-UPDRS motor factor scores resulting from a short-duration L-Dopa response, and investigated how the inter-subject clinical differences could be predicted from motor cortical magnetoencephalography. MDS-UPDRS motor factor scores and resting-state MEG recordings were collected during SDR from twenty individuals with a PD diagnosis. We used a novel subject-specific strategy based on linear support vector machines to quantify motor cortical oscillatory frequency (...) profiles that best predicted medication state. Motor cortical profiles differed substantially across individuals and showed consistency across multiple data folds. There was a linear relationship between classification accuracy and SDR of lower limb bradykinesia, although this relationship did not persist after multiple comparison correction, suggesting that combinations of spectral power features alone are insufficient to predict clinical state. Factor score analysis of therapeutic response and novel subject-specific machine learning approaches based on subject-specific neuroimaging provide tools to predict outcomes of therapies for PD. (shrink)

We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.

Individuals regaining reliable day-to-day walking function after incomplete spinal cord injury report persisting unsteadiness when confronted with walking challenges. However, quantifiable measures of walking capacity lack the sensitivity to reveal underlying impairments of supra-spinal locomotor control. This study investigates the relationship between intramuscular coherence and corticospinal dynamic balance control during a visually guided Target walking treadmill task. In thirteen individuals with iSCI and 24 controls, intramuscular coherence and cumulant densities were estimated from pairs of Tibialis anterior surface EMG recordings during (...) normal treadmill walking and a Target walking task. The approximate center of mass was calculated from pelvis markers. Spearman rank correlations were performed to evaluate the relationship between intramuscular coherence, clinical parameters, and center of mass parameters. In controls, we found that the Target walking task results in increased high-frequency intramuscular coherence, which negatively related to changes in the center of mass movement, whereas this modulation was largely reduced in individuals with iSCI. The impaired modulation of high-frequency intramuscular coherence during the Target walking task correlated with neurophysiological and functional readouts, such as motor-evoked potential amplitude and outdoor mobility score, as well as center of mass trajectory length. The Target walking effect, the difference between Target and Normal walking intramuscular coherence, was significantly higher in controls than in individuals with iSCI [F = 13.042, p < 0.001]. Intramuscular coherence obtained during challenging walking in individuals with iSCI may provide information on corticospinal gait control. The relationships between biomechanics, clinical scores, and neurophysiology suggest that intramuscular coherence assessed during challenging tasks may be meaningful for understanding impaired supra-spinal control in individuals with iSCI. (shrink)

Safe stair negotiation is an everyday task that children with developmental coordination disorder are commonly thought to struggle with. Yet, there is currently a paucity of research supporting these claims. We investigated the visuomotor control strategies underpinning stair negotiation in children with and without DCD by measuring kinematics, gaze behavior and state anxiety as they ascended and descended a staircase. A questionnaire was administered to determine parents' confidence in their child's ability to safely navigate stairs and their child's fall history. (...) Kinematics were measured using three-dimensional motion capture, whilst gaze was measured using mobile eye-tracking equipment. The parents of DCD children reported significantly lower confidence in their child's ability to maintain balance on the stairs and significantly more stair-related falls in the previous year compared to the parents of typically developing children. During both stair ascent and stair descent, the children with DCD took longer to ascend/descend the staircase and displayed greater handrail use, reflecting a more cautious stair negotiation strategy. No differences were observed between groups in their margin of stability, but the DCD children exhibited significantly greater variability in their foot-clearances over the step edge, which may increase the risk of a fall. For stair descent only, the DCD children reported significantly higher levels of state anxiety than the TD children and looked significantly further along the staircase during the initial entry phase, suggesting an anxiety-related response that may bias gaze toward the planning of future stepping actions over the accurate execution of an ongoing step. Taken together, our findings provide the first quantifiable evidence that safe stair negotiation is a significant challenge for children with DCD, and that this challenge is reflected by marked differences in their visuomotor control strategies and state anxiety levels. Whilst it is currently unclear whether these differences are contributing to the frequency of stair-related falls in children with DCD, our findings pave the way for future research to answer these important questions. (shrink)

How do we measure happiness? Focusing on subjective measures as a proxy for welfare and well-being, this book finds ways to do that. Subjective measures have been used by psychologists, sociologists, political scientists, and, more recently, economists to answer a variety of scientifically and politically relevant questions. Van Praag, a pioneer in this field since 1971, and Ferrer-i-Carbonell present in this book a generally applicable methodology for the analysis of subjective satisfaction. Drawing on a range of surveys on people's satisfaction (...) with their jobs, income, housing, marriages, and government policy, among other areas of life, this book shows how satisfaction with life "as a whole" is an aggregate of these domain satisfactions. Using German, British, Dutch, and Russian data, the authors cover a wide range of topics. This groundbreaking book presents a new and fruitful methodology that constitutes a welcome addition to the social sciences. The paperback edition has been revised to bring the literature review up-to-date and the chapter on poverty has been revised and extended to take account of new research. (shrink)

Hartry Field has shown us a way to be nominalists: we must purge our scientific theories of quantification over abstracta and we must prove the appropriate conservativeness results. This is not a path for the faint hearted. Indeed, the substantial technical difficulties facing Field's project have led some to explore other, easier options. Recently, Jody Azzouni, Joseph Melia, and Stephen Yablo have argued that it is a mistake to read our ontological commitments simply from what the quantifiers of our best (...) scientific theories range over. In this paper, I argue that all three arguments fail and they fail for much the same reason; would-be nominalists are thus left facing Field's hard road. (shrink)

In 1958 Arnould Bayart, 1911-1998, produced a semantics for first and second-order S5 modal logic, and in 1959 a completeness proof for first-order S5, and what he calls a 'quasi-completeness' proof for second-order S5. The 1959 paper is the first completeness proof for modal predicate logic based on the Henkin construction of maximal consistent sets, and indeed may be the easier application of the Henkin method even to propositional modal logic. The semantics is in terms of possible worlds, which, Bayart (...) notes, can be anything at all. The present paper provides an English translation of both these papers together with an historical introduction and a logical commentary. (shrink)

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...) KoreaEun Jung Ko, Jin Sun Kwak, TaeHwan Gwon, Ji Min Lee, Min-Ho LeeCS02.3 Responsible conduct of research teachers’ training courses in Germany: keeping on drilling through hard boards for more RCR teachersHelga Nolte, Michael Gommel, Gerlinde Sponholz3. The research environment and policies to encourage research integrityCS03.1 Challenges and best practices in research integrity: bridging the gap between policy and practiceYordanka Krastev, Yamini Sandiran, Julia Connell, Nicky SolomonCS03.2 The Slovenian initiative for better research: from national activities to global reflectionsUrsa Opara Krasovec, Renata SribarCS03.3 Organizational climate assessments to support research integrity: background of the Survey of Organizational Research Climate and the experience with its use at Michigan State UniversityBrian C. Martinson, Carol R. Thrush, C.K. Gunsalus4. Expressions of concern and retractionsCS04.1 Proposed guidelines for retraction notices and their disseminationIvan Oransky, Adam MarcusCS04.2 Watching retractions: analysis of process and practice, with data from the Wiley retraction archivesChris Graf, Verity Warne, Edward Wates, Sue JoshuaCS04.3 An exploratory content analysis of Expressions of ConcernMiguel RoigCS04.4 An ethics researcher in the retraction processMichael Mumford5. Funders' role in fostering research integrityCS05.1 The Fonds de Recherche du Québec’s institutional rules on the responsible conduct of research: introspection in the funding agency activitiesMylène Deschênes, Catherine Olivier, Raphaëlle Dupras-LeducCS05.2 U.S. Public Health Service funds in an international setting: research integrity and complianceZoë Hammatt, Raju Tamot, Robin Parker, Cynthia Ricard, Loc Nguyen-Khoa, Sandra TitusCS05.3 Analyzing decision making of funders of public research as a case of information asymmetryKarsten Klint JensenCS05.4 Research integrity management: Empirical investigation of academia versus industrySimon Godecharle, Ben Nemery, Kris Dierickx5A: Education: For whom, how, and what?CS05A.1 Research integrity or responsible conduct of research? What do we aim for?Mickey Gjerris, Maud Marion Laird Eriksen, Jeppe Berggren HoejCS05A.2 Teaching and learning about RCR at the same time: a report on Epigeum’s RCR poll questions and other assessment activitiesNicholas H. SteneckCS05A.4 Minding the gap in research ethics education: strategies to assess and improve research competencies in community health workers/promoteresCamille Nebeker, Michael Kalichman, Elizabeth Mejia Booen, Blanca Azucena Pacheco, Rebeca Espinosa Giacinto, Sheila Castaneda6. Country examples of research reward systems and integrityCS06.1 Improving systems to promote responsible research in the Chinese Academy of SciencesDing Li, Qiong Chen, Guoli Zhu, Zhonghe SunCS06.4 Exploring the perception of research integrity amongst public health researchers in IndiaParthasarathi Ganguly, Barna Ganguly7. Education and guidance on research integrity: country differencesCS07.1 From integrity to unity: how research integrity guidance differs across universities in Europe.Noémie Aubert Bonn, Kris Dierickx, Simon GodecharleCS07.2 Can education and training develop research integrity? The spirit of the UNESCO 1974 recommendation and its updatingDaniele Bourcier, Jacques Bordé, Michèle LeducCS07.3 The education and implementation mechanisms of research ethics in Taiwan's higher education: an experience in Chinese web-based curriculum development for responsible conduct of researchChien Chou, Sophia Jui-An PanCS07.4 Educating principal investigators in Swiss research institutions: present and future perspectivesLouis Xaver Tiefenauer8. Measuring and rewarding research productivityCS08.1 Altimpact: how research integrity underpins research impactDaniel Barr, Paul TaylorCS08.2 Publication incentives: just reward or misdirection of funds?Lyn Margaret HornCS08.3 Why Socrates never charged a fee: factors contributing to challenges for research integrity and publication ethicsDeborah Poff9. Plagiarism and falsification: Behaviour and detectionCS09.1 Personality traits predict attitude towards plagiarism of self and others in biomedicine: plagiarism, yes we can?Martina Mavrinac, Gordana Brumini, Mladen PetrovečkiCS09.2 Investigating the concept of and attitudes toward plagiarism for science teachers in Brazil: any challenges for research integrity and policy?Christiane Coelho Santos, Sonia VasconcelosCS09.3 What have we learnt?: The CrossCheck Service from CrossRefRachael LammeyCS09.4 High p-values as a sign of data fabrication/falsificationChris Hartgerink, Marcel van Assen, Jelte Wicherts10. Codes for research integrity and collaborationsCS10.1 Research integrity in cross-border cooperation: a Nordic exampleHanne Silje HaugeCS10.3 Research integrity, research misconduct, and the National Science Foundation's requirement for the responsible conduct of researchAaron MankaCS10.4 A code of conduct for international scientific cooperation: human rights and research integrity in scientific collaborations with international academic and industry partnersRaffael Iturrizaga11. Countries' efforts to establish mentoring and networksCS11.1 ENRIO : a network facilitating common approaches on research integrity in EuropeNicole FoegerCS11.2 Helping junior investigators develop in a resource-limited country: a mentoring program in PeruA. Roxana Lescano, Claudio Lanata, Gissella Vasquez, Leguia Mariana, Marita Silva, Mathew Kasper, Claudia Montero, Daniel Bausch, Andres G LescanoCS11.3 Netherlands Research Integrity Network: the first six monthsFenneke Blom, Lex BouterCS11.4 A South African framework for research ethics and integrity for researchers, postgraduate students, research managers and administratorsLaetus OK Lategan12. Training and education in research integrity at an early career stageCS12.1 Research integrity in curricula for medical studentsGustavo Fitas ManaiaCS12.2 Team-based learning for training in the responsible conduct of research supports ethical decision-makingWayne T. McCormack, William L. Allen, Shane Connelly, Joshua Crites, Jeffrey Engler, Victoria Freedman, Cynthia W. Garvan, Paul Haidet, Joel Hockensmith, William McElroy, Erik Sander, Rebecca Volpe, Michael F. VerderameCS12.4 Research integrity and career prospects of junior researchersSnezana Krstic13. Systems and research environments in institutionsCS13.1 Implementing systems in research institutions to improve quality and reduce riskLouise HandyCS13.2 Creating an institutional environment that supports research integrityDebra Schaller-DemersCS13.3 Ethics and Integrity Development Grants: a mechanism to foster cultures of ethics and integrityPaul Taylor, Daniel BarrCS13.4 A culture of integrity at KU LeuvenInge Lerouge, Gerard Cielen, Liliane Schoofs14. Peer review and its role in research integrityCS14.1 Peer review research across disciplines: transdomain action in the European Cooperation in Science and Technology “New Frontiers of Peer Review ”Ana Marusic, Flaminio SquazzoniCS14.2 Using blinding to reduce bias in peer reviewDavid VauxCS14.3 How to intensify the role of reviewers to promote research integrityKhalid Al-Wazzan, Ibrahim AlorainyCS14.4 Credit where credit’s due: professionalizing and rewarding the role of peer reviewerChris Graf, Verity Warne15. Research ethics and oversight for research integrity: Does it work?CS15.1 The psychology of decision-making in research ethics governance structures: a theory of bounded rationalityNolan O'Brien, Suzanne Guerin, Philip DoddCS15.2 Investigator irregularities: iniquity, ignorance or incompetence?Frank Wells, Catherine BlewettCS15.3 Academic plagiarismFredric M. Litto16. Research integrity in EuropeCS16.1 Whose responsibility is it anyway?: A comparative analysis of core concepts and practice at European research-intensive universities to identify and develop good practices in research integrityItziar De Lecuona, Erika Löfstrom, Katrien MaesCS16.2 Research integrity guidance in European research universitiesKris Dierickx, Noémie Bonn, Simon GodecharleCS16.3 Research Integrity: processes and initiatives in Science Europe member organisationsTony Peatfield, Olivier Boehme, Science Europe Working Group on Research IntegrityCS16.4 Promoting research integrity in Italy: the experience of the Research Ethics and Bioethics Advisory Committee of the Consiglio Nazionale delle Ricerche Cinzia Caporale, Daniele Fanelli17. Training programs for research integrity at different levels of experience and seniorityCS17.1 Meaningful ways to incorporate research integrity and the responsible conduct of research into undergraduate, graduate, postdoctoral and faculty training programsJohn Carfora, Eric Strauss, William LynnCS17.2 "Recognize, respond, champion": Developing a one-day interactive workshop to increase confidence in research integrity issuesDieter De Bruyn, Bracke Nele, Katrien De Gelder, Stefanie Van der BurghtCS17.4 “Train the trainer” on cultural challenges imposed by international research integrity conversations: lessons from a projectJosé Roberto Lapa e Silva, Sonia M. R. Vasconcelos18. Research and societal responsibilityCS18.1 Promoting the societal responsibility of research as an integral part of research integrityHelene IngierdCS18.2 Social responsibility as an ethical imperative for scientists: research, education and service to societyMark FrankelCS18.3 The intertwined nature of social responsibility and hope in scienceDaniel Vasgird, Stephanie BirdCS18.4 Common barriers that impede our ability to create a culture of trustworthiness in the research communityMark Yarborough19. Publication ethicsCS19.1 The authors' forum: A proposed tool to improve practices of journal editors and promote a responsible research environmentIbrahim Alorainy, Khalid Al-WazzanCS19.2 Quantifying research integrity and its impact with text analyticsHarold GarnerCS19.3 A closer look at authorship and publication ethics of multi- and interdisciplinary teamsLisa Campo-Engelstein, Zubin Master, Elise Smith, David Resnik, Bryn Williams-JonesCS19.4 Invisibility of duplicate publications in biomedicineMario Malicki, Ana Utrobicic, Ana Marusic20. The causes of bad and wasteful research: What can we do?CS20.1 From countries to individuals: unravelling the causes of bias and misconduct with multilevel meta-meta-analysisDaniele Fanelli, John PA IoannidisCS20.2 Reducing research waste by integrating systems of oversight and regulationGerben ter Riet, Tom Walley, Lex Marius BouterCS20.3 What are the determinants of selective reporting?: The example of palliative care for non-cancer conditionsJenny van der Steen, Lex BouterCS20.4 Perceptions of plagiarism, self-plagiarism and redundancy in research: preliminary results from a national survey of Brazilian PhDsSonia Vasconcelos, Martha Sorenson, Francisco Prosdocimi, Hatisaburo Masuda, Edson Watanabe, José Carlos Pinto, Marisa Palácios, José Lapa e Silva, Jacqueline Leta, Adalberto Vieyra, André Pinto, Mauricio Sant’Ana, Rosemary Shinkai21. Are there country-specific elements of misconduct?CS21.1 The battle with plagiarism in Russian science: latest developmentsBoris YudinCS21.2 Researchers between ethics and misconduct: A French survey on social representations of misconduct and ethical standards within the scientific communityEtienne Vergès, Anne-Sophie Brun-Wauthier, Géraldine VialCS21.3 Experience from different ways of dealing with research misconduct and promoting research integrity in some Nordic countriesTorkild VintherCS21.4 Are there specifics in German research misconduct and the ways to cope with it?Volker Bähr, Charité22. Research integrity teaching programmes and their challengesCS22.1 Faculty mentors and research integrityMichael Kalichman, Dena PlemmonsCS22.2 Training the next generation of scientists to use principles of research quality assurance to improve data integrity and reliabilityRebecca Lynn Davies, Katrina LaubeCS22.3 Fostering research integrity in a culturally-diverse environmentCynthia Scheopner, John GallandCS22.4 Towards a standard retraction formHervé Maisonneuve, Evelyne Decullier23. Commercial research and integrityCS23.1 The will to commercialize: matters of concern in the cultural economy of return-on-investment researchBrian NobleCS23.2 Quality in drug discovery data reporting: a mission impossible?Anja Gilis, David J. Gallacher, Tom Lavrijssen, Malwitz David, Malini Dasgupta, Hans MolsCS23.3 Instituting a research integrity policy in the context of semi-private-sector funding: an example in the field of occupational health and safetyPaul-Emile Boileau24. The interface of publication ethics and institutional policiesCS24.1 The open access ethical paradox in an open government effortTony SavardCS24.2 How journals and institutions can work together to promote responsible conductEric MahCS24.3 Improving cooperation between journals and research institutions in research integrity casesElizabeth Wager, Sabine Kleinert25. Reproducibility of research and retractionsCS25.1 Promoting transparency in publications to reduce irreproducibilityVeronique Kiermer, Andrew Hufton, Melanie ClyneCS25.2 Retraction notices issued for publications by Latin American authors: what lessons can we learn?Sonia Vasconcelos, Renan Moritz Almeida, Aldo Fontes-Pereira, Fernanda Catelani, Karina RochaCS25.3 A preliminary report of the findings from the Reproducibility Project: Cancer biologyElizabeth Iorns, William Gunn26. Research integrity and specific country initiativesCS26.1 Promoting research integrity at CNRS, FranceMichèle Leduc, Lucienne LetellierCS26.2 In pursuit of compliance: is the tail wagging the dog?Cornelia MalherbeCS26.3 Newly established research integrity policies and practices: oversight systems of Japanese research universitiesTakehito Kamata27. Responsible conduct of research and country guidelinesCS27.1 Incentives or guidelines? Promoting responsible research communication through economic incentives or ethical guidelines?Vidar EnebakkCS27.3 Responsible conduct of research: a view from CanadaLynn PenrodCS27.4 The Danish Code of Conduct for Research Integrity: a national initiative to promote research integrity in DenmarkThomas Nørgaard, Charlotte Elverdam28. Behaviour, trust and honestyCS28.1 The reasons behind non-ethical behaviour in academiaYves FassinCS28.2 The psychological profile of the dishonest scholarCynthia FekkenCS28.3 Considering the implications of Dan Ariely’s keynote speech at the 3rd World Conference on Research Integrity in MontréalJamal Adam, Melissa S. AndersonCS28.4 Two large surveys on psychologists’ views on peer review and replicationJelte WichertsBrett Buttliere29. Reporting and publication bias and how to overcome itCS29.1 Data sharing: Experience at two open-access general medical journalsTrish GrovesCS29.2 Overcoming publication bias and selective reporting: completing the published recordDaniel ShanahanCS29.3 The EQUATOR Network: promoting responsible reporting of health research studiesIveta Simera, Shona Kirtley, Eleana Villanueva, Caroline Struthers, Angela MacCarthy, Douglas Altman30. The research environment and its implications for integrityCS30.1 Ranking of scientists: the Russian experienceElena GrebenshchikovaCS30.4 From cradle to grave: research integrity, research misconduct and cultural shiftsBronwyn Greene, Ted RohrPARTNER SYMPOSIAPartner Symposium AOrganized by EQUATOR Network, Enhancing the Quality and Transparency of Health ResearchP1 Can we trust the medical research literature?: Poor reporting and its consequencesIveta SimeraP2 What can BioMed Central do to improve published research?Daniel Shanahan, Stephanie HarrimanP3 What can a "traditional" journal do to improve published research?Trish GrovesP4 Promoting good reporting practice for reliable and usable research papers: EQUATOR Network, reporting guidelines and other initiativesCaroline StruthersPartner Symposium COrganized by ENRIO, the European Network of Research Integrity OfficersP5 Transparency and independence in research integrity investigations in EuropeKrista Varantola, Helga Nolte, Ursa Opara, Torkild Vinther, Elizabeth Wager, Thomas NørgaardPartner Symposium DOrganized by IEEE, the Institute of Electrical and Electronics EngineersRe-educating our author community: IEEE's approach to bibliometric manipulation, plagiarism, and other inappropriate practicesP6 Dealing with plagiarism in the connected world: An Institute of Electrical and Electronics Engineers perspectiveJon RokneP7 Should evaluation of raises, promotion, and research proposals be tied to bibliometric indictors? What the Institute of Electrical and Electronics Engineers is doing to answer this questionGianluca SettiP8 Recommended practices to ensure conference content qualityGordon MacPhersonPartner Symposium EOrganized by the Committee on Freedom and Responsibility in the Conduct of Science of ICSU, the International Council for ScienceResearch assessment and quality in science: perspectives from international science and policy organisationsP9 Challenges for science and the problems of assessing researchEllen HazelkornP10 Research assessment and science policy developmentCarthage SmithP11 Research integrity in South Africa: the value of procedures and processes to global positioningRobert H. McLaughlinP12 Rewards, careers and integrity: perspectives of young scientists from around the worldTatiana Duque MartinsPartner Symposium FOrganized by the Online Resource Center for Ethics Education in Engineering and Science / Center for Engineering, Ethics, and Society of the National Academy of EngineeringP13 Research misconduct: conceptions and policy solutionsTetsuya Tanimoto, Nicholas Steneck, Daniele Fanelli, Ragnvald Kalleberg, Tajammul HusseinPartner Symposium HOrganized by ORI, the Office of Research Integrity; Universitas 21; and the Asia Pacific Research Integrity NetworkP14 International integrity networks: working together to ensure research integrityPing Sun, Ovid Tzeng, Krista Varantola, Susan ZimmermanPartner Symposium IOrganized by COPE, the Committee on Publication EthicsPublication without borders: Ethical challenges in a globalized worldP15 Authorship: credit and responsibility, including issues in large and interdisciplinary studiesRosemary ShinkaiPartner Symposium JOrganized by CITI, the Cooperative Institutional Training InitiativeExperiences on research integrity educational programs in Colombia, Costa Rica and PeruP16 Experiences in PeruRoxana LescanoP17 Experiences in Costa RicaElizabeth HeitmanP18 Experiences in ColumbiaMaria Andrea Rocio del Pilar Contreras NietoPoster Session B: Education, training, promotion and policyPT.01 The missing role of journal editors in promoting responsible researchIbrahim Alorainy, Khalid Al-WazzanPT.02 Honorary authorship in Taiwan: why and who should be in charge?Chien Chou, Sophia Jui-An PanPT.03 Authorship and citation manipulation in academic researchEric Fong, Al WilhitePT.04 Open peer review of research submission at medical journals: experience at BMJ Open and The BMJTrish GrovesPT.05 Exercising authorship: claiming rewards, practicing integrityDésirée Motta-RothPT.07 Medical scientists' views on publication culture: a focus group studyJoeri Tijdink, Yvo SmuldersPoster Session B: Education, training, promotion and policyPT.09 Ethical challenges in post-graduate supervisionLaetus OK LateganPT.10 The effects of viable ethics instruction on international studentsMichael Mumford, Logan Steele, Logan Watts, James Johnson, Shane Connelly, Lee WilliamsPT.11 Does language reflect the quality of research?Gerben ter Riet, Sufia Amini, Lotty Hooft, Halil KilicogluPT.12 Integrity complaints as a strategic tool in policy decision conflictsJanneke van Seters, Herman Eijsackers, Fons Voragen, Akke van der Zijpp and Frans BromPoster Session C: Ethics and integrity intersectionsPT.14 Regulations of informed consent: university-supported research processes and pitfalls in implementationBadaruddin Abbasi, Naif Nasser AlmasoudPT.15 A review of equipoise as a requirement in clinical trialsAdri LabuschagnePT.16 The Research Ethics Library: online resource for research ethics educationJohanne Severinsen, Espen EnghPT.17 Research integrity: the view from King Abdulaziz City for Science and TechnologyDaham Ismail AlaniPT. 18 Meeting global challenges in high-impact publications and research integrity: the case of the Malaysian Palm Oil BoardHJ. Kamaruzaman JusoffPT.19 University faculty perceptions of research practices and misconductAnita Gordon, Helen C. HartonPoster Session D: International perspectivesPT.21 The Commission for Scientific Integrity as a response to research fraudDieter De Bruyn, Stefanie Van der BurghtPT. 22 Are notions of the responsible conduct of research associated with compliance with requirements for research on humans in different disciplinary traditions in Brazil?Karina de Albuquerque Rocha, Sonia Maria Ramos de VasconcelosPT.23 Creating an environment that promotes research integrity: an institutional model of Malawi Liverpool Welcome TrustLimbanazo MatandikaPT.24 How do science policies in Brazil influence user-engaged ecological research?Aline Carolina de Oliveira Machado Prata, Mark William NeffPoster Session E: Perspectives on misconductPT.26 What “causes” scientific misconduct?: Testing major hypotheses by comparing corrected and retracted papersDaniele Fanelli, Rodrigo Costas, Vincent LarivièrePT.27 Perception of academic plagiarism among dentistry studentsDouglas Leonardo Gomes Filho, Diego Oliveira GuedesPT. 28 a few bad apples?: Prevalence, patterns and attitudes towards scientific misconduct among doctoral students at a German university hospitalVolker Bähr, Niklas Keller, Markus Feufel, Nikolas OffenhauserPT. 29 Analysis of retraction notices published by BioMed CentralMaria K. Kowalczuk, Elizabeth C. MoylanPT.31 "He did it" doesn't work: data security, incidents and partnersKatie SpeanburgPoster Session F: Views from the disciplinesPT.32 Robust procedures: a key to generating quality results in drug discoveryMalini Dasgupta, Mariusz Lubomirski, Tom Lavrijssen, David Malwitz, David Gallacher, Anja GillisPT.33 Health promotion: criteria for the design and the integrity of a research projectMaria Betânia de Freitas Marques, Laressa Lima Amâncio, Raphaela Dias Fernandes, Oliveira Patrocínio, and Cláudia Maria Correia Borges RechPT.34 Integrity of academic work from the perspective of students graduating in pharmacy: a brief research studyMaria Betânia de Freitas Marques, Cláudia Maria Correia Borges Rech, Adriana Nascimento SousaPT.35 Research integrity promotion in the Epidemiology and Health Services, the journal of the Brazilian Unified Health SystemLeila Posenato GarciaPT.36 When are clinical trials registered? An analysis of prospective versus retrospective registration of clinical trials published in the BioMed Central series, UKStephanie Harriman, Jigisha PatelPT.37 Maximizing welfare while promoting innovation in drug developmentFarida LadaOther posters that will be displayed but not presented orally:PT.38 Geoethics and the debate on research integrity in geosciencesGiuseppe Di Capua, Silvia PeppoloniPT.39 Introducing the Professionalism and Integrity in Research Program James M. DuBois, John Chibnall, Jillon Van der WallPT.40 Validation of the professional decision-making in research measureJames M. DuBois, John Chibnall, Jillon Van der Wall, Raymond TaitPT.41 General guidelines for research ethicsJacob HolenPT. 42 A national forum for research ethicsAdele Flakke Johannessen, Torunn EllefsenPT.43 Evaluation of integrity in coursework: an approach from the perspective of the higher education professorClaudia Rech, Adriana Sousa, Maria Betânia de Freitas MarquesPT.44 Principles of geoethics and research integrity applied to the European Multidisciplinary Seafloor and Water Column Observatory, a large-scale European environmental research infrastructureSilvia Peppoloni, Giuseppe Di Capua, Laura BeranzoliF1 Focus track on improving research systems: the role of fundersPaulo S.L. Beirão, Susan ZimmermanF2 Focus track on improving research systems: the role of countriesSabine Kleinert, Ana MarusicF3 Focus track on improving research systems: the role of institutionsMelissa S. Anderson, Lex Bouter. (shrink)

In this paper we provide an interpretation of Aristotle's rule for the universal quantifier in Topics Θ 157a34–37 and 160b1–6 in terms of Paul Lorenzen's dialogical logic. This is meant as a contribution to the rehabilitation of the role of dialectic within the Organon. After a review of earlier views of Aristotle on quantification, we argue that this rule is related to the dictum de omni in Prior Analytics A 24b28–29. This would be an indication of the dictum’s origin (...) in the context of dialectical games. One consequence of our approach is a novel explanation of the doctrine of the existential import of the quantifiers in dialectical terms. After a brief survey of Lorenzen's dialogical logic, we offer a set of rules for dialectical games based on previous work by Castelnérac and Marion, to which we add here the rule for the universal quantifier, as interpreted in terms of its counterpart in dialogical logic. We then give textual evidence of the use of that rule in Plato's dialogues, thus showing that Aris... (shrink)

Continued concern for animal welfare may be alleviated when welfare would be monitored on farms. Monitoring can be characterized as an information system where various stakeholders periodically exchange relevant information. Stakeholders include producers, consumers, retailers, the government, scientists, and others. Valuating animal welfare in the animal-product market chain is regarded as a key challenge to further improve the welfare of farm animals and information on the welfare of animals must, therefore, be assessed objectively, for instance, through monitoring. Interviews with Dutch (...) stakeholder representatives were conducted to identify their perceptions about the monitoring of animal welfare. Stakeholder perceptions were characterized in relation to the specific perspectives of each stakeholder. While producers tend to perceive welfare from a production point of view, consumers will use visual images derived from traditional farming and from the animals’ natural environments. Scientists’ perceptions of animal welfare are affected by the need to measure welfare with quantifiable parameters. Retailers and governments (policy makers) have views of welfare that are derived from their relationships with producers, consumers, non-governmental organizations (NGOs), and scientists. All interviewed stakeholder representatives stated that animal welfare is important. They varied in the extent to which they weighted economic considerations relative to concern for the animals’ welfare. Many stakeholders emphasized the importance of communication in making a monitoring system work. Overall, the perspectives for the development of a sustainable monitoring system that substantially improves farm animal welfare were assessed as being poor in the short term. However, a reliable system could be initiated under certain conditions, such as integrated chains and with influential and motivated stakeholders. A scheme is described with attention points for the development of sustainable monitoring systems for farm animal welfare in the long term. (shrink)

In amblyopia, abnormal visual experience during development leads to an enduring loss of visual acuity in adulthood. Physiological studies in animal models suggest that intracortical GABAergic inhibition may mediate visual deficits in amblyopia. To better understand the relationship between visual cortical γ-aminobutyric acid (GABA) and perceptual suppression in persons with amblyopia (PWA), we employed magnetic resonance spectroscopy (MRS) to quantify GABA levels in both PWA and normally-sighted persons (NSP). In the same individuals, we obtained psychophysical measures of perceptual suppression for (...) a variety of ocular configurations. In PWA, we found a robust negative correlation between the depth of amblyopia (the difference in visual acuity between the amblyopic and non-amblyopic eyes) and GABA concentration that was specific to visual cortex and was not observed in a sensorimotor cortical control region. Moreover, lower levels of visual cortical GABA were associated with weaker perceptual suppression of the fellow eye by the amblyopic eye and stronger suppression of the amblyopic eye by the fellow eye. Taken together, our findings provide evidence that intracortical GABAergic inhibition is an important component of the pathology of human amblyopia and suggest possible therapeutic interventions to restore vision in the amblyopic eye through enhancement of visual cortical GABAergic signaling in PWA. (shrink)

How do we measure happiness? Focusing on subjective measures as a proxy for welfare and well-being, this book finds ways to do that. Subjective measures have been used by psychologists, sociologists, political scientists, and, more recently, economists to answer a variety of scientifically and politically relevant questions. Van Praag, a pioneer in this field since 1971, and Ferrer-i-Carbonell present in this book a generally applicable methodology for the analysis of subjective satisfaction. Drawing on a range of surveys on people's satisfaction (...) with their jobs, income, housing, marriages, and government policy, among other areas of life, this book shows how satisfaction with life "as a whole" is an aggregate of these domain satisfactions. Using German, British, Dutch, and Russian data, the authors cover a wide range of topics, even some not usually considered part of economic study.The book makes a distinction between actual satisfaction levels and individual norms, and in this way complements Van Praag's earlier work within the Leyden School with his later work in "happiness research". Among the many topics covered, the authors discuss: individuals' memory and anticipation processes and the estimation of adaptation phenomena ; the effect of reference groups on income norms and satisfaction with income; the importance of climate for well-being, including the development of a climate-equivalence index; the trade-offs between chronic diseases and income when well-being is kept constant; the damage of aircraft noise on well-being; the construction of a new talent tax tariff; and inequality from a satisfaction perspective, including the definition of "satisfaction inequalities", a natural extension of income inequality and poverty.This groundbreaking book presents new and fruitful methodology that consitutes a welcome addition to the social sciences. (shrink)

Background: The magnitude of bullying and harassment among psychiatrists is reportedly high, yet no peer-review published studies addressing this issue could be found. Therefore, it was decided to conduct a pilot study to assess the degree of the problem, the types of bullying/harassment and to provide some insights into the situation.Methods and Principal Findings: Following multiple focus group meetings, a yes/no response type questionnaire was developed to assess the degree and type of bullying and harassment experienced by psychiatrists. Over a (...) 3-month period the questionnaire was administered to a random sample of 60 psychiatrists. 57 out of the 60 psychiatrists reported harassment and bullying. Frequencies of the following response variables are presented in descending order: rumours 40% ; defamation 20% ; passing remarks 20% ; false accusations 15% ; threats 13.3% ; verbal abuse 13.3% ; unjustified complaints 13.3% ; promotion blocked 13.3% ; humiliation 13% ; bad reference given 10% ; credentials questioned 8.3% ; physical attacks 5% ; termination 5% ; derogatory remarks 1.7% and 1.7% were subjected to personal work. As a result of being subjected to harassment, 66.7% of the psychiatrists did not take any action, whereas 33.3% confronted the person they believed responsible. Asked whether the bullying and harassment caused distress, 18.3% of the psychiatrists did not report any effect, 30% reported mild distress, 40% moderate distress and severe distress was reported by 11.7%.Conclusions: It was concluded that the magnitude of bullying and harassment among psychiatrists may be quite high, as evidenced by this pilot study. There is a need for extensive systematic studies on this subject and to establish strategies to prevent and address this issue at a national and regulatory level. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

We apply Hrushovski-Fraïssé's amalgamation procedure to obtain a theory of fields of prime characteristic of Morley rank 2 equipped with a definable additive subgroup of rank 1.

Early psychophysical methods as codified by Fechner motivate the development of quantitative theories of subjective experience. The basic insight is that just noticeable differences between experiences can serve as units for measuring a sensory domain. However, the methods described by Fechner tacitly assume that the experiences being investigated can be linearly ordered. This assumption is not true for all sensory domains; for example, there is no trivial linear order over all possible color sensations. This paper discusses key developments in the (...) history of psychophysical methods for measuring color experience. In particular, a clear distinction between topological and metrical structure allowed Helmholtz to use opponent colors as a standard for measuring the gross structure of color space. Once this gross structure had been determined, lines through color space could be defined and Fechner-style methods employed for determining local structure. Extensions of these methods due to Wright, MacAdam, and others provide detailed evidence for the degree of agreement in the qualities of color experience across individuals. This allows a precise statement of the evidential support for the claim that your experience of color and mine are the same. (shrink)

I analyze and criticize Naomi Scheman's argument for the claim that psychological individualism-the thesis that psychological states are entities or particulars over which psychological theories may quantify-has no legitimate philosophical backing and is instead an element of patriarchal ideology. I conclude that Scheman's argument is flawed and that her thesis is false. Psychological individualism is perfectly compatible with and may even be required by feminist political theory.

The capacity to generate recursive sequences is a marker of rich, algorithmic cognition, and perhaps unique to humans. Yet, the precise processes driving recursive sequence generation remain mysterious. We investigated three potential cognitive mechanisms underlying recursive pattern processing: hierarchical reasoning, ordinal reasoning, and associative chaining. We developed a Bayesian mixture model to quantify the extent to which these three cognitive mechanisms contribute to adult humans’ performance in a sequence generation task. We further tested whether recursive rule discovery depends upon relational (...) information, either perceptual or semantic. We found that the presence of relational information facilitates hierarchical reasoning and drives the generation of recursive sequences across novel depths of center embedding. In the absence of relational information, the use of ordinal reasoning predominates. Our results suggest that hierarchical reasoning is an important cognitive mechanism underlying recursive pattern processing and can be deployed across embedding depths and relational domains. (shrink)